(b |${b,c} c; (d || (e |${e,f} f))) || p;q;r;s || rec :: (x;y;rec or z)
